//
// Created by wkm on 2024-04-16.
//

#ifndef AES128CHIPSYSTEMC_X3TIME_TEST_H
#define AES128CHIPSYSTEMC_X3TIME_TEST_H

#include "../FiniteFieldMul/x3time.h"
#include "x3time_driver.h"
#include "x3time_monitor.h"

void x3time_test();

#endif //AES128CHIPSYSTEMC_X3TIME_TEST_H
